2006: Celebrating 75 years of AI - History and Outlook: the Next 25 Years

摘要

When Kurt Goedel layed the foundations of theoretical computer science in1931, he also introduced essential concepts of the theory of ArtificialIntelligence (AI). Although much of subsequent AI research has focused onheuristics, which still play a major role in many practical AI applications, inthe new millennium AI theory has finally become a full-fledged formal science,with important optimality results for embodied agents living in unknownenvironments, obtained through a combination of theory a la Goedel andprobability theory. Here we look back at important milestones of AI history,mention essential recent results, and speculate about what we may expect fromthe next 25 years, emphasizing the significance of the ongoing dramatichardware speedups, and discussing Goedel-inspired, self-referential,self-improving universal problem solvers.